Works by R. D. Lee

( view other items matching `R. D. Lee`, view all matches )
Order:
  1.  33
    (2 other versions)A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  38
    An application of mathematical logic to the integer linear programming problem.R. D. Lee - 1972 - Notre Dame Journal of Formal Logic 13 (2):279-282.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    (1 other version)The substitution schema in recursive arithmetic.R. D. Lee - 1965 - Notre Dame Journal of Formal Logic 6 (3):193-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark